#include<stdio.h>
 #include<math.h>
 int main()
 {
     long int a;
     for(a=1001;a<=3000;a+=2)
     {
         printf("%ld:",a);
         printf("(%ld*%ld-1)/8",a,a);
         printf("=%ld",(a*a-1)/8);
         printf("+%ld\n",(a*a-1)%8);

     }
 }
